首页> 外文OA文献 >Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

【2h】

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

机译：基于Petri网的全局异步本地同步系统的规范与验证。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Part 8: Petri Nets

机译：第8部分：Petri网

著录项

作者
Moutinho, Filipe; Gomes, Luís; Barbosa, Paulo; Barros, João,; Ramalho, Franklin; Figueiredo, Jorge; Costa, Anikó; Monteiro, André;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. VERIFYING UCM SPECIFICATIONS OF DISTRIBUTED SYSTEMS USING COLORED PETRI NETS [J] . N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko Cybernetics and Systems Analysis . 2015,第2期

机译：使用彩色Petri网验证分布式系统的UCM规格
2. Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets [J] . Huang Hejiao, Kirchner Helene Dependable and Secure Computing, IEEE Transactions on . 2011,第6期

机译：基于有色Petri网的模块化安全策略的形式化规范与验证
3. A protocol modeling and verification approach based on a specification language and Petri nets [J] . Suzuki T., Shatz S.M. IEEE Transactions on Software Engineering . 1990,第5期

机译：基于规范语言和Petri网的协议建模与验证方法
4. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System [C] . Filipe Moutinho, Luis Gomes, Paulo Barbosa, Technological innovation for sustainability . 2011

机译：基于Petri网的全局异步本地同步系统的规范与验证。
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System [O] . Moutinho, Filipe, Gomes, Luís, Barbosa, Paulo, 2011

机译：基于Petri网的全局异步本地同步系统的规范与验证。

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅